<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<html><head><meta http-equiv="Content-Type" content="text/html;charset=iso-8859-1">
<title>$title</title>
<link href="style.css" rel="stylesheet" type="text/css">
</head><body>
<div class="header">
	<div class="index">
    	<a href="index.html">Home</a>
    	<a href="namespaces.html">Namespace List</a>
	</div>
</div>
<div class="maindox">
